Skip to main content

Microsoft Research Video 103744: Candidate Talk: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications

Movies Preview

SIMILAR ITEMS (based on metadata)